nested vmx: Don't set bit 55 in IA32_VMX_BASIC_MSR
authorZhang Xiantao <xiantao.zhang@intel.com>
Fri, 24 Aug 2012 08:49:47 +0000 (09:49 +0100)
committerZhang Xiantao <xiantao.zhang@intel.com>
Fri, 24 Aug 2012 08:49:47 +0000 (09:49 +0100)
commit84fa4c35b40f364210fe3f5836f4fcc6df60ee14
treecf1d2e7b10b90afe36fb1d5a8e122fb9fa82b403
parent4875b06f1a162c3ee0aacc17a80801603a1c5d24
nested vmx: Don't set bit 55 in IA32_VMX_BASIC_MSR

All related IA32_VMX_TRUE_*_MSR are not implemented,
so set this bit to 0, otherwise system L1VMM may
get incorrect default1 class settings.

Signed-off-by: Zhang Xiantao <xiantao.zhang@intel.com>
Committed-by: Keir Fraser <keir@xen.org>
xen/arch/x86/hvm/vmx/vvmx.c